Automating DAML-S Web Services Composition Using SHOP2

نویسندگان

  • Dan Wu
  • Bijan Parsia
  • Evren Sirin
  • James A. Hendler
  • Dana S. Nau
چکیده

The DAML-S Process Model is designed to support the application of AI planning techniques to the automated composition of Web services. SHOP2 is an Hierarchical Task Network (HTN) planner well-suited for working with the Process Model. We have proven the correspondence between the semantics of SHOP2 and the situation calculus semantics of the Process Model. We have also implemented a system which soundly and completely plans over sets of DAML-S descriptions using a SHOP2 planner, and then executes the resulting plans over the Web. We discuss the challenges and difficulties of using SHOP2 in the information-rich and human-oriented context of Web services.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Automatic Web Services Composition Using SHOP2

Semantic markup of Web services will enable the automation of various kinds of tasks, including discovery, composition, and execution of Web services. We describe how an AI planning system (SHOP2) can be used with DAML-S Web service descriptions to automatically compose Web services.

متن کامل

HTN planning for Web Service composition using SHOP2

Automated composition of Web Services can be achieved by using AI planning techniques. Hierarchical Task Network (HTN) planning is especially well-suited for this task. In this paper, we describe how HTN planning system SHOP2 can be used with OWL-S Web Service descriptions. We provide a sound and complete algorithm to translate OWL-S service descriptions to a SHOP2 domain. We prove the correctn...

متن کامل

Analysis and simulation of Web services q

Web services––Web-accessible programs and devices––are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semantic Web comes the opportunity to automate various Web services tasks. Our objective is to enable markup and automated reasoning technology to describe, simulate, compose, test, and verify compositions of Web services. We ta...

متن کامل

Configuring Web Services, Using Structuring and Techniques from Agent Configuration

This paper explores the use of an Agent Factory for the composition of web services. Previous work proposed a structuring approach for automated reconfiguration of agents by an Agent Factory. The question is whether the same approach can be applied to web service composition, i.e. whether DAML-S descriptions of web services offer enough structure for automated configuration by the Agent Factory...

متن کامل

A Planner for Composing Services Described in DAML-S

A web service is a web-accessible piece of software or hardware. In recent years, industry has been showing increasing interest in web services as a technology for building distributed web applications. However, web services as a technology lacks in several departments. Representations for describing web services have been widely investigated by industry and academia. Service composition-that i...

متن کامل

ذخیره در منابع من

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003